Extending a set-theoretic implementation of Montague Semantics to accommodate n-ary transitive verbs
نویسنده
چکیده
.............................................................................................iii Acknowledgements.................................................................................iv List of Tables......................................................................................viii List of Figures.....................................................................................viii Chapter 1 Preface........................................................................................1 1.
منابع مشابه
Extending Montague Semantics for Use in Natural-Language Database-Query Processing
1. Introduction Montague's semantics has been used in the past for constructing natural-language processors in higher-order functional languages. This paper describes the work done and progress so far in extending a Montague–like compositional semantics in constructing natural language processors to accommodate n-ary transitive verbs for n>2. In the early seventies, Richard Montague [5] develop...
متن کاملTopological structure on generalized approximation space related to n-arry relation
Classical structure of rough set theory was first formulated by Z. Pawlak in [6]. The foundation of its object classification is an equivalence binary relation and equivalence classes. The upper and lower approximation operations are two core notions in rough set theory. They can also be seenas a closure operator and an interior operator of the topology induced by an equivalence relation on a u...
متن کاملType-theoretic logic with an operational account of intensionality
Classical intensional semantic representation languages, like Montague (1974)’s Intensional Logic (IL), do not accommodate fine-grained intensionality. Montague, following Carnap (1947), characterizes intensions as functions from worlds (indices of worlds and times) to denotations, and so reduces intensional identity to equivalence of denotation across possible worlds. As has frequently been no...
متن کاملA Proof-Theoretic Semantics for Transitive Verbs with an Implicit Object
The paper presents a proof-theoretic semantics for sentences headed by transitive verbs allowing an unexpressed (implicit) object. Such sentences are shown to have the same (proof-theoretic) meaning as the same sentences with an explicit existentially quantified object something. This semantics is contrasted with a model-theoretic semantics based on truthconditions in models. The models used co...
متن کامل2 Cross - Linguistic Semantics
Rooth & Partee (1982) and Rooth (1985) have shown that the English-specific rule-by-rule system of PTQ can be factores out into function application plus two transformations for resolving type mismatch (type lifting and variable binding). Building on these insights, this article proposes a universal system for type-driven translation, by adding two more innovations: local type determination for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005